logic specification中文是什么意思

发音:

中文翻译
造句

逻辑规格说明

programming logic specification 程序设计逻辑规范书
temporal logic specification 暂时逻辑说明
specification n. 1.详细说明，逐一登记，详记。 2.〔pl.〕规范，规格。 3.清单，明细单。 4.【法律】(申报新发明时的)设计说明书。 5. 【法律】用来料加工制成新产品所取得的权利。 Can you send the job specification to me at once 你能把工程作业的详细说明马上送来吗？ a signal specification 信号规格；信号技术条件。 working specifications 操作规程。 fall short of specifications 不合规格。
specification for 标准; 建设工程文件归档整理规范
-logic -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
and logic “与”逻辑
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
logic-and 逻辑“与”
or logic 或逻辑
acceptance specification 验收规范; 验收说瞄
access specification 存取规范
acpi specification 启动进度条后就蓝屏
action specification 作用说明
actual specification 实际规范
adherence to specification 符合设计要求; 遵守技术规范
against specification 不合规格
algebraic specification 代数方法; 代数规格说明
alternation specification 加改装规范
amplifer specification 放大器指标
api specification api技术规范; 美国石油学会技术规范; 美国石油学会技术规格
application specification 应用系统规格; 应用支援套装程式
approved specification 认可的标准，批准的技术条件
architects specification 工程技术规格
ash specification 灰份规格
astm specification 美国材料试验协会技术规范

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

However, this tempo-ral logic based technology was not conveniently applied to the verification ofknowledge logic specification
然而,传统的模型检测是基于时态逻辑的,它并不支持知识逻辑规范的验证。
We designed a small business rule management system based on the constrained chinese natural language . the system comprises a three-level rule language model to facilitate the direct one-for-one encoding of business logic specifications into business rules
基于受限汉语的业务规则管理系统在传统brms的基础上引入了中文环境，使得业务规则具有受限自然语言的表达和开发实施平台，大大提高了brms的易用性。
6 clarke e m, emerson e a, sistla a p . automatic verification of finite-state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems, 1986, 8 : 244-263.7 aho a v, hopcroft j e, ullman j d . the design and analysis of computer algorithms
modelchecking过去主要是作为一种验证技术被广为使用的，本文作者通过对dmc以及后续工程项目的研究发现，modelchecking完全可以作为一种计算技术被广泛使用，就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。

其他语种释义

logic specificationとは意味：論理仕様｛ろんりしよう｝

推荐英语阅读

logic specification的中文翻译，logic specification是什么意思，怎么用汉语翻译logic specification，logic specification的中文意思，logic specification的中文，logic specification in Chinese，logic specification的中文，logic specification怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Fri, 15 Aug 2025 00:29:56 GMT